Stable model semantics - PDFSEARCH.IO - Document Search Engine

Stable model semantics
Results: 102

#	Item
71	Complexity of fuzzy answer set programming under Lukasiewicz semantics Marjon Blondeela,1 , Steven Schockaertb , Dirk Vermeira , Martine De Cockc a Vrije Universiteit Brussel, Department of Computer Science, Pleinlaan 2 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2013-10-21 12:32:43 Logic programming Logic in computer science Non-classical logic Structural complexity theory Complexity classes Stable model semantics Answer set programming Fuzzy logic Negation Theoretical computer science Applied mathematics Mathematics
72	Possibilistic Answer Set Programming Revisited Kim Bauters∗, Steven Schockaert† Dept. of Applied Mathematics and Computer Science Universiteit Gent Add to Reading List Source URL: event.cwi.nl Language: English - Date: 2010-06-18 10:53:36 Answer set programming Modal logic Valuation Mathematics Natural deduction Logic programming Logic Stable model semantics
73	Modeling Protein Interaction Networks with Answer Set Programming ∗ Dept. Timur Fayruzov∗ , Martine De Cock∗† , Chris Cornelis∗ and Dirk Vermeir‡ of Applied Mathematics and Computer Science, Ghent University Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2009-10-17 02:11:29 Biochemistry Proteins Gene expression Answer set programming Stable model semantics Gene regulatory network Enzyme FO Cyclin-dependent kinase 1 Biology Logic programming Chemistry
74	Complexity of fuzzy answer set programming under Lukasiewicz semantics: First results Marjon Blondeel1 ? , Steven Schockaert2 ?? , Martine De Cock2 , and Dirk Vermeir1 1 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2012-01-17 09:39:13 Logic programming Logic in computer science Non-classical logic Mathematical optimization Stable model semantics Answer set programming Fuzzy logic NP Computational complexity theory Theoretical computer science Applied mathematics Complexity classes
75	Int. J. Data Mining and Bioinformatics, Vol. x, No. x, xxxx Modelling Gene and Protein Regulatory Networks with Answer Set Programming Timur Fayruzov1,∗ , Jeroen Janssen2 , Dirk Vermeir2 , Chris Cornelis1 , Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-04-05 19:31:00 Applied mathematics Stable model semantics Answer set programming Modal logic Negation Bioinformatics Logic programming Logic Science
76	Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 34–43 http://www.floc-conference.org/ICLP-home.html COMMUNICATING ANSWER SET PROGRAMS KIM BAUTERS 1 AND JEROEN JANSSE Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-07-25 12:47:16 Mathematical logic Boolean algebra Stable model semantics Answer set programming Rules of inference Literal Negation Modal logic Logic programming Logic Propositional calculus
77	Fuzzy Answer Set Programming Davy Van Nieuwenborgh1,⋆ , Martine De Cock2 , and Dirk Vermeir1 1 Vrije Universiteit Brussel, VUB Dept. of Computer Science Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2006-07-03 14:04:14 Logic programming Semantics Artificial intelligence Logic in computer science Stable model semantics Negation as failure Constructible universe Answer set programming T-norm Logic Mathematical logic Fuzzy logic
78	Fuzzy Autoepistemic Logic: Reflecting about Knowledge of Truth Degrees Marjon Blondeel1 ? , Steven Schockaert2 ?? , Martine De Cock2 , and Dirk Vermeir1 1 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-04-05 14:54:22 Mathematics Logic programming Modal logic Autoepistemic logic Fuzzy logic Stable model semantics Many-valued logic Interpretation Model theory Logic Mathematical logic Non-classical logic
79	Weak and strong disjunction in possibilistic ASP Kim Bauters1? , Steven Schockaert1?? , Martine De Cock1 , and Dirk Vermeir2 1 Department of Applied Mathematics and Computer Science Universiteit Gent, Krijgslaan 281, 900 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-06-17 07:43:23 Propositional calculus Boolean algebra Non-classical logic Philosophical logic Stable model semantics Answer set programming Modal logic Clause Negation Logic Logic programming Mathematical logic
80	Ann Math Artif Intell[removed]:363–388 DOI[removed]s10472[removed]An introduction to fuzzy answer set programming Davy Van Nieuwenborgh · Martine De Cock · Dirk Vermeir Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2007-11-16 12:32:25 Mathematics Logic programming Logic in computer science Artificial intelligence Rules of inference Negation as failure Stable model semantics T-norm Interpretation Logic Mathematical logic Fuzzy logic

UPDATE